Skip to content

Update circe-core, circe-literal to 0.14.16#222

Merged
mergify[bot] merged 1 commit into
jatcwang:masterfrom
scala-steward:update/circe-core-0.14.16
Jul 17, 2026
Merged

Update circe-core, circe-literal to 0.14.16#222
mergify[bot] merged 1 commit into
jatcwang:masterfrom
scala-steward:update/circe-core-0.14.16

Conversation

@scala-steward

@scala-steward scala-steward commented Jun 26, 2026

Copy link
Copy Markdown
Contributor

About this PR

📦 Updates

from 0.14.15 to 0.14.16

📜 GitHub Release Notes - Version Diff

Usage

✅ Please merge!

I'll automatically update this PR to resolve conflicts as long as you don't change it yourself.

If you'd like to skip this version, you can just close this PR. If you have any feedback, just mention me in the comments below.

Configure Scala Steward for your repository with a .scala-steward.conf file.

Have a fantastic day writing Scala!

⚙ Adjust future updates

Add this to your .scala-steward.conf file to ignore future updates of this dependency:

updates.ignore = [ { groupId = "io.circe" } ]

Or, add this to slow down future updates of this dependency:

dependencyOverrides = [{
  pullRequests = { frequency = "30 days" },
  dependency = { groupId = "io.circe" }
}]
labels: library-update, early-semver-minor, semver-spec-patch, version-scheme:early-semver, commit-count:1

@jatcwang

jatcwang commented Jun 27, 2026

Copy link
Copy Markdown
Owner

@Mergifyio queue

@mergify

mergify Bot commented Jun 27, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Merge Queue Status

This pull request spent 26 minutes 53 seconds in the queue, including 8 minutes 28 seconds running CI.

Required conditions to merge
  • check-success ~= ^Build and Test.*$

@mergify mergify Bot added the queued label Jul 17, 2026
@mergify
mergify Bot merged commit 1a60083 into jatcwang:master Jul 17, 2026
3 checks passed
@mergify mergify Bot removed the queued label Jul 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

merge-on-build-success

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@scala-steward @jatcwang